program verificationの例文

例文

    もっと例文:   1  2  3  4
  1. It also includes facilities to help program verification.
  2. Her current research looks at program verification.
  3. Applications include automated program verification ( where an algorithm checks the validity of another algorithm ) and automated parallelization of software.
  4. ACM 19 ( 5 ) : 279-285 ( 1976 ) ", the axiomatic approach to parallel programs verification was presented.
  5. The theory of semantics of programming languages is related to model theory, as is program verification ( in particular, model checking ).

隣接する単語

  1. "program validation"の例文
  2. "program validation limited"の例文
  3. "program validation service"の例文
  4. "program validation services"の例文
  5. "program variable"の例文
  6. "program verifier"の例文
  7. "program version"の例文
  8. "program volume"の例文
  9. "program window"の例文
  10. "program word"の例文
  11. "program validation services"の例文
  12. "program variable"の例文
  13. "program verifier"の例文
  14. "program version"の例文
パソコン版で見る

著作権 © 2024 WordTech 株式会社